Properties of GCD